<?php

/**
 * Description of ClassLoader
 *
 * @author prometheus
 */
class x10_E_NamespaceManager_ClassLoader extends x10_E_NamespaceManager
{
	// nope
}

?>